منابع مشابه
Parametric Timing Analysis for Real-Time Systems
We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the s...
متن کاملTiming analysis of industrial real-time systems
In this papel; we describe a formal method for modelling real-time systems and a procedure tcl compu,te the model's timing characteristics automatically. We present algorithms that compute exact bounds on the delay between two spec$ed events. We also describe an algorithm to count the minimum and maximum number of times an event occurs between a given starting condition and an ending condition....
متن کاملStatic Timing Analysis for Hard Real-Time Systems
Hard real-time systems have to satisfy strict timing constraints. To prove that these constraints are met, timing analyses aim to derive safe upper bounds on tasks’ execution times. Processor components such as caches, out-of-order pipelines, and speculation cause a large variation of the execution time of instructions, which may induce a large variability of a task’s execution time. The archit...
متن کاملScheduling and timing analysis for safety critical real-time systems
The scheduling of tasks in safety critical systems such that the timing requirements are reliably met is often di cult. Safety critical systems are di erent to other systems because a failure to meet a requirement may lead to a catastrophic e ect, for example an accident leading to loss of life. For this reason, there is a greater emphasis on veri cation and validation of software than with oth...
متن کاملParametric Schedulability Analysis of Fixed Priority Real-Time Distributed Systems
In this paper, we address the problem of parametric schedulability analysis of distributed real-time systems scheduled by fixed priority. We propose two different approaches to parametric analysis. The first one is a novel analytic technique that extends single-processor sensitivity analysis to the case of distributed systems. The second approach is based on model checking of Parametric Stopwat...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1996
ISSN: 0890-5401
DOI: 10.1006/inco.1996.0086